Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
381	What is classical education? Classical education depends on a three-part process of training the mind. The early years of school are spent in absorbing facts, systematically laying the foundations for advanced Add to Reading List Source URL: ochec.com Language: English - Date: 2011-04-26 11:17:27 Youth Ancient Greek philosophers Educational stages Axiology Logic Of Education Aristotle Rhetoric Secondary education Education Knowledge Philosophy
382	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
383	Fuzzy Querying and Random Data Przemyslaw Grzegorzewski Syst.ems Research Inst,it,ute! Polish Academy of Sciences and University of Informat,ion Technology and Management, Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:05 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Lotfi A. Zadeh Statistical hypothesis testing Type-2 fuzzy sets and systems Fuzzy subalgebra Logic Fuzzy logic Science
384	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
385	Journal of Articial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:18 Non-classical logic Knowledge representation Artificial intelligence Philosophical logic Model theory Temporal logic Description logic Interval temporal logic Modal logic Logic Science Mathematical logic
386	Which Role for an Ontology of Uncertainty? Paolo Ceravolo, Ernesto Damiani, Marcello Leida Dipartimento di Tecnologie dell’Informazione - Universit` a degli studi di Milano via Bramante, [removed]Crema (CR), Italy {c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 16:42:42 Knowledge representation Non-classical logic Reasoning Artificial intelligence Information science Fuzzy logic Ontology Semantic Web Uncertainty Science Logic Knowledge
387	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax
388	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 17:44:52 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
389	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2011-09-26 07:12:08 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
390	Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:43:14 Mathematical constructivism Philosophy of mathematics Non-classical logic Philosophical logic Epistemology Intuitionism Intuitionistic logic Kripke semantics Saul Kripke Logic Mathematical logic Mathematics

UPDATE